Optimal. Leaf size=61 \[ -((p+q) r x)+\frac {(b c-a d) q r \log (c+d x)}{b d}+\frac {(a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 61, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {2579, 31, 8}
\begin {gather*} \frac {(a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{b}+\frac {q r (b c-a d) \log (c+d x)}{b d}-(r x (p+q)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 31
Rule 2579
Rubi steps
\begin {align*} \int \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) \, dx &=\frac {(a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{b}+\frac {((b c-a d) q r) \int \frac {1}{c+d x} \, dx}{b}-((p+q) r) \int 1 \, dx\\ &=-(p+q) r x+\frac {(b c-a d) q r \log (c+d x)}{b d}+\frac {(a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 57, normalized size = 0.93 \begin {gather*} \frac {a p r \log (a+b x)}{b}+\frac {c q r \log (c+d x)}{d}+x \left (-((p+q) r)+\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.08, size = 61, normalized size = 1.00
method | result | size |
default | \(\ln \left (e \left (f \left (b x +a \right )^{p} \left (d x +c \right )^{q}\right )^{r}\right ) x -r \left (p x +q x -\frac {a p \ln \left (b x +a \right )}{b}-\frac {c q \ln \left (d x +c \right )}{d}\right )\) | \(61\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 76, normalized size = 1.25 \begin {gather*} x \log \left (\left ({\left (b x + a\right )}^{p} {\left (d x + c\right )}^{q} f\right )^{r} e\right ) - \frac {{\left (b f p {\left (\frac {x}{b} - \frac {a \log \left (b x + a\right )}{b^{2}}\right )} + d f q {\left (\frac {x}{d} - \frac {c \log \left (d x + c\right )}{d^{2}}\right )}\right )} r}{f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.47, size = 71, normalized size = 1.16 \begin {gather*} \frac {b d r x \log \left (f\right ) + {\left (b d - {\left (b d p + b d q\right )} r\right )} x + {\left (b d p r x + a d p r\right )} \log \left (b x + a\right ) + {\left (b d q r x + b c q r\right )} \log \left (d x + c\right )}{b d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 184 vs.
\(2 (54) = 108\).
time = 6.67, size = 184, normalized size = 3.02 \begin {gather*} \begin {cases} x \log {\left (e \left (a^{p} c^{q} f\right )^{r} \right )} & \text {for}\: b = 0 \wedge d = 0 \\\frac {a \log {\left (e \left (c^{q} f \left (a + b x\right )^{p}\right )^{r} \right )}}{b} - p r x + x \log {\left (e \left (c^{q} f \left (a + b x\right )^{p}\right )^{r} \right )} & \text {for}\: d = 0 \\\frac {c \log {\left (e \left (a^{p} f \left (c + d x\right )^{q}\right )^{r} \right )}}{d} - q r x + x \log {\left (e \left (a^{p} f \left (c + d x\right )^{q}\right )^{r} \right )} & \text {for}\: b = 0 \\- \frac {a q r \log {\left (c + d x \right )}}{b} + \frac {a \log {\left (e \left (f \left (a + b x\right )^{p} \left (c + d x\right )^{q}\right )^{r} \right )}}{b} + \frac {c q r \log {\left (c + d x \right )}}{d} - p r x - q r x + x \log {\left (e \left (f \left (a + b x\right )^{p} \left (c + d x\right )^{q}\right )^{r} \right )} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 4.23, size = 66, normalized size = 1.08 \begin {gather*} p r x \log \left (b x + a\right ) + q r x \log \left (d x + c\right ) + \frac {a p r \log \left (b x + a\right )}{b} + \frac {c q r \log \left (-d x - c\right )}{d} - {\left (p r + q r - r \log \left (f\right ) - 1\right )} x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.22, size = 60, normalized size = 0.98 \begin {gather*} x\,\ln \left (e\,{\left (f\,{\left (a+b\,x\right )}^p\,{\left (c+d\,x\right )}^q\right )}^r\right )-p\,r\,x-q\,r\,x+\frac {a\,p\,r\,\ln \left (a+b\,x\right )}{b}+\frac {c\,q\,r\,\ln \left (c+d\,x\right )}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________